#include <stdio.h>
#include <stdint.h>
#include <inttypes.h>
#include <stdlib.h>

#ifndef GETKFROMK3_H
#define GETKFROMK3_H

int8_t * getKfromK3(int8_t K3[48]);

#endif
